step(is,al,tm(s,[ctxm(eta_,idp2,ip,ip_is,ip_is),ctxm(eta_,u,ip,ip_al_2,ip_al_2)],pri(lst,[pri(lst,[ctxm(eta_,u,i,i_al,i_al),ctxm(eta_,u,d_5,id_5,cd_5),ctxm(eta_,u,d_6,id_6,cd_6),ctxm(eta_,dot,n_b,in_b,cn_b)]),pri(sig,[pri(lst,[ctxm(eta_,u,i,i_al,i_al),ctxm(eta_,u,d_5,id_5,cd_5),ctxm(eta_,u,d_6,id_6,cd_6),ctxm(eta_,dot,n_b,in_b,cn_b)]),ctxm(eta_,idp2,kM,kM_is,kM_is)])]))).
